Polynomial assignments
نویسندگان
چکیده
منابع مشابه
Polynomial assignments
The concept of assignments was introduced in [GGK99] as a method for extracting geometric information about group actions on manifolds from combinatorial data encoded in the infinitesimal orbit-type stratification. In this paper we will answer in the affirmative a question posed in [GGK99] by showing that the equivariant cohomology ring of M is to a large extent determined by this data.
متن کاملInvariant Generation for Multi-Path Loops with Polynomial Assignments
Program analysis requires the generation of program properties expressing conditions to hold at intermediate program locations. When it comes to programs with loops, these properties are typically expressed as loop invariants. In this paper we study a class of multi-path program loops with numeric variables, in particular nested loops with conditionals, where assignments to program variables ar...
متن کاملComputing Role Assignments of Proper Interval Graphs in Polynomial Time
A homomorphism from a graph G to a graph R is locally surjective if its restriction to the neighborhood of each vertex of G is surjective. Such a homomorphism is also called an R-role assignment of G. Role assignments have applications in distributed computing, social network theory, and topological graph theory. The Role Assignment problem has as input a pair of graphs (G,R) and asks whether G...
متن کاملA Polynomial-Time Nuclear Vector Replacement Algorithm for Automated NMR Resonance Assignments
High-throughput NMR structural biology can play an important role in structural genomics. We report an automated procedure for high-throughput NMR resonance assignment for a protein of known structure, or of an homologous structure. These assignments are a prerequisite for probing protein-protein interactions, protein-ligand binding, and dynamics by NMR. Assignments are also the starting point ...
متن کاملLab Assignments
Lab Assignments Instrumentation Labs: Name of Lab Assignment: Lab 1 Introductory Experiments and Linear Circuits I [1] Lab 2 Linear Circuits II [2] Lab 3 Semiconductor Diodes [3] Lab 4 JFET Circuits I [4] Lab 5 JFET Circuits II [5] Lab 6 Op Amps I [6] Lab 7 Op Amps II [7] Lab 8 Op Amps III [8] Lab 9 LabVIEW Programming [9] Lab 10 Analog to Digital and Digital to Analog Conversion [10] Lab 11 Si...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae
سال: 2014
ISSN: 0019-3577
DOI: 10.1016/j.indag.2014.07.008